-
1 алгебра высказываний
Русско-английский большой базовый словарь > алгебра высказываний
-
2 алгебра высказываний
1) Mathematics: algebra of propositions (то же "алгебра логики"(algebra of logic))2) Information technology: prepositional algebra, propositional algebraУниверсальный русско-английский словарь > алгебра высказываний
-
3 алгебра высказываний
Русско-английский технический словарь > алгебра высказываний
-
4 алгебра высказываний
algebra retorica [discorsiva] -
5 алгебра высказываний
nDictionnaire russe-français universel > алгебра высказываний
-
6 алгебра высказываний
Русско-английский словарь по вычислительной технике и программированию > алгебра высказываний
-
7 алгебра высказываний
Русско-английский научно-технический словарь Масловского > алгебра высказываний
-
8 алгебра
algebra
– алгебра абстрактная
– алгебра алгебраическая
– алгебра высказываний
– алгебра дифференцирований
– алгебра замыкания
– алгебра картановская
– алгебра кватернионов
– алгебра Ли
– алгебра матриц
– алгебра мер
– алгебра множеств
– алгебра над полем
– алгебра нормальная
– алгебра обертывающая
– алгебра ограничений
– алгебра отношений
– алгебра с делением
– алгебра с мерой
– алгебра со сверткой
– алгебра схем
– алгебра токов
– алгебра универсальная
– аннигиляторная алгебра
– ассоциативная алгебра
– булева алгебра
– внешняя алгебра
– высшая алгебра
– гомологическая алгебра
– дифференциальная алгебра
– коммутативная алгебра
– линейная алгебра
– отцепляемая алгебра
– простая алгебра
– спинорная алгебра
– телоподобная алгебра
– элементарная алгебра
алгебра конечного ранга — <math.> algebra of finite order
алгебра релейных схем — switching algebra
дискретная булевая алгебра — atomic boolean algebra
линейно компактная алгебра — linearly compact algebra
обобщенно однорядная алгебра — generalized uniserial algebra
-
9 алгебра
ж.algebra f- ассоциативная алгебра
- булева алгебра
- векторная алгебра
- алгебра высказываний
- высшая алгебра
- дифференциальная алгебра
- классическая алгебра
- алгебра классов
- коммутативная алгебра
- линейная алгебра
- алгебра логики
- алгебра матриц
- матричная алгебра
- алгебра множеств
- общая алгебра
- полиадическая алгебра
- простая алгебра
- алгебра современная
- алгебра схем
- схемная алгебра
- тензорная алгебра
- топологическая алгебра
- цилиндрическая алгебра
- элементарная алгебра -
10 алгебра
ж. algebra -
11 исчисление высказываний
-
12 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
13 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
14 иерархия высказываний
Русско-английский большой базовый словарь > иерархия высказываний
-
15 исчисление высказываний
1. sentential calculus2. propositional calculusРусско-английский большой базовый словарь > исчисление высказываний
-
16 исчисление высказываний
Русско-английский словарь по информационным технологиям > исчисление высказываний
См. также в других словарях:
Алгебра высказываний — … Википедия
Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний) раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… … Википедия
алгебра буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые… … Словарь терминов логики
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
АЛГЕБРА ЛОГИКИ — система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле табличное, матричное построение логики высказываний, определяющее логические операции над ними … Большой Энциклопедический словарь
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах А. л. переменные являются логическими или двоичными, т. е. принимающими только два… … Большая политехническая энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — раздел матем. логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности или ложности), и логич. операции над ними. В А. л. принято отождествлять истинность высказывания с числом 1, а ложность с числом О (А = 1 и С … Большой энциклопедический политехнический словарь
алгебра логики — система алгебраических методов решения логических задач и совокупность таких задач. * * * АЛГЕБРА ЛОГИКИ АЛГЕБРА ЛОГИКИ, система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле табличное, матричное… … Энциклопедический словарь